


		AUTOMATUL - SOLUTIE
	       ---------------------
(Ema Mateescu)

	Initial, se reduc nodurile la care nu se poate ajunge (cele care
nu sunt in aceeasi componenta conexa cu nodul 1, sau la care nu se ajunge,
deoarece orice drum catre ele trece printr-o stare finala).
	Acum, nodurile se imparte in doua clase: C1 (noduri nefinale) si
C2 (noduri finale).

	Se aplica urmatorul algoritm de un numar finit de ori:

- pt. fiecare j apartinand clasei Ck (k=1..p - initial p=2) :
  -> se cauta un t apartinand altei clase, a.i.

  j tranziteaza spre aj (prin a)
  t tranziteaza spre at (prin a)

  j tranziteaza spre bj (prin b)
  t tranziteaza spre bt (prin b)

	- daca aj si at apartin aceleiasi clase, si bj si bt apartin aceleiasi
clase, atunci j si t sunt echivalenti, si se reunesc clasele lui j si t.
	- daca nu exista un nod t pentru care sa aiba loc relatiile de mai sus,
atunci j formeaza el singur o clasa (creste numarul p de clase)

-> p este numarul minim de clase al automatului final